Quantale-valued fuzzy Scott topology

Authors

  • L. X. Lu Department of Mathematics, College of Natural Science, Chonbuk National University, Jeonju-City Jeonbuk, 561-756, Republic of Korea and School of Mathematics and Science, Hebei GEO University, Shijiazhuang 050018, China
  • S. E. Han Department of Mathematics Education, Institute of Pure and Applied Mathematics, Chonbuk National University, Jeonju-City Jeonbuk, 561-756, Republic of Korea
  • W. Yao School of Sciences, Hebei University of Science and Technology, Shijiazhuang 050018, P.R. China
Abstract:

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varepsilon)$ is called a generalized GL-monoid if$(L,*,varepsilon)$ is a commutative unital quantale and the operation $*$ is$otimes$-semi-distributive. For generalized GL-monoid $L$ as thetruth value table, we systematically propose the stratified$L$-generalized convergence spaces based on stratified $L$-filters,which makes various existing lattice-valued convergence spaces asspecial cases. For $L$ being a commutative unital quantale, wedefine a fuzzy Scott convergence structure on $L$-fuzzy dcpos anduse it to induce a stratified $L$-topology. This is the inducing wayto the definition of quantale-valued fuzzy Scott topology, whichseems an appropriate way by some results.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

QUANTALE-VALUED SUP-ALGEBRAS

Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...

full text

QUANTALE-VALUED GAUGE SPACES

We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...

full text

Quantale-valued preorders: Globalization and cocompleteness

Each divisible and unital quantale is associated with two quantaloids. Categories enriched over these two quantaloids can be regarded respectively as crisp sets endowed with fuzzy preorders and fuzzy sets endowed with fuzzy preorders. This paper deals with the relationship between these two kinds of enriched categories. This is a special case of the change-base issue in enriched category theory...

full text

Partial Metrics and Quantale-valued Sets (Preprint)

It is observed that the axioms for partial metrics with values in quantales coincide with the axioms for Q-sets (M -valued sets, sets with fuzzy equality, quantale-valued sets) for commutative quantales. Ω-sets correspond to the case of partial ultrametrics.

full text

Rough approximation operators based on quantale-valued fuzzy generalized neighborhood systems

Let $L$ be an integral and commutative quantale. In this paper, by fuzzifying the notion of generalized neighborhood systems, the notion of $L$-fuzzy generalized neighborhoodsystem is introduced and then a pair of lower and upperapproximation operators based on it are defined and discussed. It is proved that these approximation operators include generalized neighborhood system...

full text

The Scott Topology . Part II

The following propositions are true: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and ⋃ G = ⋃ F and for every subset g of X such that g ∈ G holds g 6⊆ ⋃ (G \ {g}). (2) Let S be a 1-sorted structure and X be a subset of the carrier of S. Then −X = the carrier of S if and only if X is empty. (3) Let R be an antisy...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 16  issue 3

pages  175- 188

publication date 2019-06-29

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023